1. First course in logic : an introduction to model theory, proof theory, computability, and complexity

by Hedman, Shawn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 2004Availability: No items available Checked out (1).
2. Mathematical logic

by Chiswell, Ian | Hodges, Wilfrid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2007Availability: Items available for loan: [Call number: 511.3 CHI] (1).

Powered by Koha